منابع مشابه
The Prophecy of Undo
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.
متن کاملThe Antichrist in Prophecy
The designation "Antichrist," appearing only in the epistles of John (1 John 2:18, 22; 4:3; 2 John 7), is made up of the Greek words anti ("against, in place of") and christos ("Christ"), and indicates any agent of the evil one (Satan) who acts contrary to or as a counterfeit of God's Anointed who is destined to rule the world in the end time (Psalm 2:2, 6-8; 110:1-2; Isaiah 9:6-7, et. al.). Th...
متن کاملEzekiel’s Prophecy of the Temple
One of the most crucial texts for the futurist interpretation of prophecy concerning Israel is the vision of the prophet Ezekiel in chapters 40-48. In this text the prophet presents God’s instructions for the construction of a new Temple to be built as part of the promise of Israel’s divine restoration. The concern of the exiles, as exemplified by Daniel’s prayer, was for a literal rebuilding o...
متن کاملComputation by Prophecy
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Molecular Cell Biology
سال: 2015
ISSN: 1471-0072,1471-0080
DOI: 10.1038/nrm3993